Explanation in the Situation Calculus
نویسنده
چکیده
This paper explores different techniques for explanation within the framework of the situation calculus, using the so-called stolen car problem as its main example. Two approaches to explanation are compared: the deductive approach usually found in the literature, and a less common abductive approach. Both approaches are studied in the context of two different styles of representation.
منابع مشابه
Modelling Dynamic Spatial Systems in the Situation Calculus
We propose and systematically formalise a dynamical spatial systems approach for the modelling of changing spatial environments. The formalisation adheres to the semantics of the situation calculus and includes a systematic account of key aspects that are necessary to realize a domain-independent qualitative spatial theory that may be utilised across diverse application domains. The spatial the...
متن کاملA Causal Approach for Modelling Spatial Dynamics∗ A Preliminary Report
We propose a causal approach, involving events identified by their causes and effects, for the modelling of spatial dynamics. The suitability of situation calculus as a high-level formalism for representing and reasoning about spatial dynamics is explored and the causal framework is formalised using the same. A systematic illustration of the manner in which various aspects of axiomatic qualitat...
متن کاملHypothetical Reasoning about Actions : Fromsituation Calculus to Event
Hypothetical reasoning about actions is the activity of pre-evaluating the eeect of performing actions in a changing domain; this reasoning underlies applications of Knowledge Representation such as planning and explanation generation. Action eeects are often speciied in the language of Situation Calculus, introduced by McCarthy and Hayes in 1969. More recently, the Event Calculus has been deen...
متن کاملAn Explanation Study of the Causes of Difference in Coloring and Dotting Methods of Isfahan and Tabriz Carpet Cartoons
The geographical expand of carpet production in Iran, has caused to use of various techniques and methods in order to convert them to carpet design cartoons. Today, two distinct and inclusive methods are common in providing carpet cartoons for urban carpets weaving in Iran named Isfahan and Tabriz methods. The purpose of this research is an explanation of the causes of difference in the colorin...
متن کامل